Brat, Guillaume P. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (24)
Les plus populaires
Liste
- Liste
- Tableau

1

Predicting Pilot Behavior in Medium-Scale Scenarios Using Game Theory and Reinforcement Learning

Yildiz, Yildiray, Agogino, Adrian, Brat, Guillaume

Journal:

Journal of Guidance Control and Dynamics

Année:

2014

Langue:

english

Fichier:

PDF, 881 KB

english, 2014

2

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Adaptive stress testing of airborne collision avoidance systems

Lee, Ritchie, Kochenderfer, Mykel J., Mengshoel, Ole J., Brat, Guillaume P., Owen, Michael P.

Année:

2015

Langue:

english

Fichier:

PDF, 1.86 MB

english, 2015

3

[IEEE 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Prague, Czech Republic (2015.9.13-2015.9.17)] 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) - Adaptive stress testing of airborne collision avoidance systems

Lee, Ritchie, Kochenderfer, Mykel, Mengshoel, Ole, Brat, Guillaume, Owen, Michael

Année:

2015

Langue:

english

Fichier:

PDF, 3.10 MB

english, 2015

4

An Overview of the V & amp;V of Flight-Critical Systems Effort at NASA

Brat, Guillaume

Journal:

SAE International Journal of Aerospace

Année:

2011

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2011

5

Testing Planning Domains (without Model Checkers)

Franco Raimondi, Charles Pecheur, Guillaume Brat

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 460 KB

english, 2007

6

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park, Flavio Lerda

Journal:

Automated Software Engineering

Année:

2003

Langue:

english

Fichier:

PDF, 202 KB

english, 2003

7

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina Pasareanu, Arnaud Venet, Willem Visser, Rich Washington

Journal:

Formal Methods in System Design

Année:

2004

Langue:

english

Fichier:

PDF, 376 KB

english, 2004

8

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7871 || PyNuSMV: NuSMV as a Python Library

Brat, Guillaume, Rungta, Neha, Venet, Arnaud

Année:

2013

Langue:

english

Fichier:

PDF, 145 KB

english, 2013

9

[IEEE 2008 IEEE Aerospace Conference - Big Sky, MT, USA (2008.03.1-2008.03.8)] 2008 IEEE Aerospace Conference - Automated Software Verification & Validation: An Emerging Approach for Ground Operations

Bell, David G., Brat, Guillaume P.

Année:

2008

Langue:

english

Fichier:

PDF, 465 KB

english, 2008

10

[ACM Press the eighteenth international symposium - Chicago, IL, USA (2009.07.19-2009.07.23)] Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 - A formal analysis of requirements-based testing

Pecheur, Charles, Raimondi, Franco, Brat, Guillaume

Année:

2009

Langue:

english

Fichier:

PDF, 476 KB

english, 2009

11

[IEEE 2014 IEEE International Test Conference (ITC) - Seattle, WA, USA (2014.10.20-2014.10.23)] 2014 International Test Conference - Compositional verification using formal analysis for a flight critical system

Brat, Guillaume

Année:

2014

Fichier:

PDF, 30 KB

2014

12

[ASME ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - Buffalo, New York, USA (Sunday 17 August 2014)] Volume 1B: 34th Computers and Information in Engineering Conference - Combination of Compositional Verification and Model Checking for Safety Assessment of Complex Engineered Systems

Mehrpouyan, Hoda, Giannakopoulou, Dimitra, Tumer, Irem Y., Hoyle, Chris, Brat, Guillaume

Année:

2014

Langue:

english

Fichier:

PDF, 1.82 MB

english, 2014

13

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Variably interprocedural program analysis for runtime error detection

Tomb, Aaron, Brat, Guillaume, Visser, Willem

Année:

2007

Langue:

english

Fichier:

PDF, 270 KB

english, 2007

14

[ACM Press the ACM SIGPLAN 2004 conference - Washington DC, USA (2004.06.09-2004.06.11)] Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation - PLDI '04 - Precise and efficient static array bound checking for large embedded C programs

Venet, Arnaud, Brat, Guillaume

Année:

2004

Langue:

english

Fichier:

PDF, 223 KB

english, 2004

15

[ACM Press the conference - Baltimore, Maryland, United States (1994.11.06-1994.11.11)] Proceedings of the conference on TRI-Ada '94 - TRI-Ada '94 - Transparent fault tolerance for distributed Ada applications

Breland, Mark A., Rogers, Steven A., Brat, Guillaume P., Nelson, Kenneth L.

Année:

1994

Langue:

english

Fichier:

PDF, 1.55 MB

english, 1994

16

[ASME ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - Portland, Oregon, USA (Sunday 4 August 2013)] Volume 2B: 33rd Computers and Information in Engineering Conference - Complex System Design Verification Using Assumption Generation

Mehrpouyan, Hoda, Giannakopoulou, Dimitra, Brat, Guillaume, Tumer, Irem Y., Hoyle, Chris

Année:

2013

Langue:

english

Fichier:

PDF, 1.54 MB

english, 2013

17

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies (MST) Conference - Boston, MA ()] AIAA Modeling and Simulation Technologies (MST) Conference - Predicting Pilot Behavior in Medium Scale Scenarios Using Game Theory and Reinforcement Learning

Yildiz, Yildiray, Agogino, Adrian, Brat, Guillaume

Année:

2013

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2013

18

Precise and efficient static array bound checking for large embedded C programs

Venet, Arnaud, Brat, Guillaume

Journal:

ACM SIGPLAN Notices

Année:

2004

Langue:

english

Fichier:

PDF, 223 KB

english, 2004

19

[American Institute of Aeronautics and Astronautics AIAA Modeling and Simulation Technologies Conference - Minneapolis, Minnesota ()] AIAA Modeling and Simulation Technologies Conference - Using Game Theoretic Models to Predict Pilot Behavior in NextGen Merging and Landing Scenario

Yildiz, Yildiray, Lee, Ritchie, Brat, Guillaume

Langue:

english

Fichier:

PDF, 563 KB

english

20

[American Institute of Aeronautics and Astronautics AIAA Information Systems-AIAA Infotech @ Aerospace - Grapevine, Texas ()] AIAA Information Systems-AIAA Infotech @ Aerospace - Reducing V&V Cost of Flight Critical Systems: Myth or Reality

Brat, Guillaume

Langue:

english

Fichier:

PDF, 1.10 MB

english

21

Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning

Mehrpouyan, Hoda, Giannakopoulou, Dimitra, Brat, Guillaume, Tumer, Irem Y., Hoyle, Chris

Journal:

Systems Engineering

Année:

2016

Langue:

english

Fichier:

PDF, 983 KB

english, 2016

22

[ACM Press the 3rd International Conference - Naples, Italy (2013.05.28-2013.05.30)] Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '13 - Aviation safety

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco, Seah, Chin, Shafto, Michael

Année:

2013

Langue:

english

Fichier:

PDF, 667 KB

english, 2013

23

A Max-Plus Algebra of Signals for the Supervisory Control of Real-Time Discrete Event Systems

Brat, Guillaume P., Garg, Vijay K.

Journal:

IFAC Proceedings Volumes

Année:

1998

Langue:

english

Fichier:

PDF, 1.43 MB

english, 1998

24

[American Institute of Aeronautics and Astronautics AIAA Aviation 2019 Forum - Dallas, Texas ()] AIAA Aviation 2019 Forum - Moving the Validation and Verification Frontier: the System-Wide Safety March Towards Scalability and Autonomy

Brat, Guillaume, Davies, Misty D., Koelling, John H., Maddalon, Jeffrey M., Miner, Paul

Fichier:

PDF, 7.68 MB